|
In mathematics, in the area of algebraic topology, the homotopy extension property indicates which homotopies defined on a subspace can be extended to a homotopy defined on a larger space. ==Definition== Let be a topological space, and let . We say that the pair has the homotopy extension property if, given a homotopy and a map such that , there exists an ''extension'' of to a homotopy such that . 〔A. Dold, ''Lectures on Algebraic Topology'', pp. 84, Springer ISBN 3-540-58660-1〕 That is, the pair has the homotopy extension property if any map can be extended to a map (i.e. and agree on their common domain). If the pair has this property only for a certain codomain , we say that has the homotopy extension property with respect to . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「homotopy extension property」の詳細全文を読む スポンサード リンク
|